Theoremproving machine
[计] 定理证明机
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
By the way, what are you going to do on Christmas?
顺便问一下，圣诞节你打算做什么？
More worship the rising than the setting sun.
人都向旭日膜拜，不向夕阳顶礼。
However, size and strength are not the only important things about this bridge.
然而，这座桥重要特点不仅是它的规模与强度。